Proof calculus - PDFSEARCH.IO - Document Search Engine

Proof calculus
Results: 476

#	Item
181	Mechanizing Proof for the Z Toolkit R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street, Reading UK RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:35:59 Propositional calculus Logical syntax Metalogic Predicate logic Principia Mathematica First-order logic Function Constructible universe Lambda calculus Logic Mathematics Mathematical logic
182	Combining generic judgments with recursive definitions Andrew Gacek Department of CS&E University of Minnesota Dale Miller Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 2012-08-16 12:29:04 Model theory Proof theory Metalogic Automated theorem proving Deduction Admissible rule Entailment Symbol Sequent calculus Logic Mathematics Mathematical logic
183	Rules and Illusions: A Critical Study of Rips’s The Psychology of Proof PHILIP N. JOHNSON-LAIRD Department of Psychology, Princeton University, Princeton, NJ 08544, U.S.A. philclarity.princeton.edu Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:33:38 Deduction Propositional calculus Logical syntax Logical truth Inference Psychology of reasoning Rule of inference Mental model Natural deduction Logic Science Reasoning
184	CHAPTER I An Introduction to Proof Theory Samuel R. Buss Departments of Mathematics and Computer Science, University of California, San Diego La Jolla, California[removed], USA Add to Reading List Source URL: math.ucsd.edu Language: English - Date: 2002-01-14 17:15:00 Propositional calculus Proof theory Model theory Metalogic First-order logic Substitution Deduction theorem Interpretation Frege system Logic Mathematical logic Mathematics
185	A modal type system for safe distributed computing Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-08-17 07:51:58 Logic in computer science Proof theory Non-classical logic Philosophical logic Type theory Modal logic Lambda calculus Curry–Howard correspondence Logic Mathematical logic Mathematics
186	Static Complexity Analysis of Programs Neil D. Jones Lars Kristiansen†‡ In this paper we explicate the proof calculus introduced in Kristiansen & Jones [10]. Add to Reading List Source URL: www.nik.no Language: English - Date: 2006-12-08 15:11:06 Abstract algebra Matrix Vector space Differential form Meijer G-function Algebra Linear algebra Mathematics
187	J-Calc: A typed lambda calculus for Intuitionistic Justification Logic Konstantinos Pouliasis Giuseppe Primiero Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-01-15 08:49:03 Logical syntax Propositional calculus Philosophical logic Natural deduction Entailment Interpretation Curry–Howard correspondence Formation rule Witness Logic Proof theory Deduction
188	A modal language for contextual computations Giuseppe Primiero FWO - Research Foundation Flanders Centre for Logic and Philosophy of Science University of Ghent (Belgium) June 27, 2012 Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-06-27 07:55:59 Model theory Proof theory Propositional calculus Natural deduction Entailment Modal logic Interpretation Valuation Kripke semantics Logic Philosophical logic Deduction
189	A Graphical Language for Proof Strategies Gudmund Grov1 , Aleks Kissinger2 and Yuhui Lin1 1 School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh, UK, {G.Grov,Y.Lin}@hw.ac.uk Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-14 06:14:48 Graph rewriting Search algorithms Lambda calculus Graph Depth-first search Combinatory logic Planar graph Graph theory Theoretical computer science Mathematics
190	Extending the proof methods and critics of a proof planner Daniel Raggi NI VER Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Automated theorem proving Mathematical logic Logical consequence Philosophical logic Mathematical proof Entailment Sequent calculus Conjecture Mathematical induction Logic Mathematics Proof theory